Sökresultat för: Ieke Moerdijk
Sheaves in Geometry and Logic (Häftad)
avSaunders MacLane, Ieke Moerdijk
ISBN: 9780387977102 - UTGIVEN: 199205This graduate-level text presents topos theory as it has developed from the study of sheaves and is unique in its scope, discussing such topics as the sheafification process and the properties of an elementary topos, applications to axiomatic set theory and use in forcing, geometric morphisms and th[...]
Algebraic Set Theory (Pocket)
avAndre Joyal, Ieke Moerdijk, Andre Joyal
ISBN: 9780521558303 - UTGIVEN: 1995-10This book offers a new, algebraic, approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore the authors explicitly construct such algebras using the theory of bisimulati[...]
